well-defined grammar

[計] 良定義文法